A Critical Remark on the BHK Interpretation of Implication

نویسندگان

  • Wagner de Campos Sanz
  • Thomas Piecha
چکیده

The BHK interpretation of logical constants is analyzed in terms of a systematic account given by Prawitz, resulting in a reformulation of the BHK interpretation in which the assertability of atomic propositions is determined by Post systems. It is shown that the reformulated BHK interpretation renders more propositions assertable than are provable in intuitionistic propositional logic. Mints’ law is examined as an example of such a proposition. Intuitionistic propositional logic would thus have to be considered incomplete. We conclude with a discussion on the adequacy of the BHK interpretation of implication.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Immunogenicity of BHK-Rabies Vaccine in Cattle

In this study, the immunogenicity of a rabies vaccine that was used in one of the Isfahan cattle farms is reported. This vaccine was produced by replication of the Pasteur virus (PV) strain on BHK-21 monolayer cell culture. The virus suspension was inactivated by ß-propiolactone treatment and the harvested pool showed sterility and safety. Thus, the obtained vaccine was tested on mice and a sat...

متن کامل

Historical Analyzing of Reconceptualism: implication and intentions related to it in Curriculum Field

This paper conducts a historical analysis of the meaning and aims Reconceptualism in viewpoint of Pinar et al, including methodology and critics related to it in curriculum field from 1960s to 2010s.  For this means, 25 papers and 4 books of Pinar et al were studied by methods of document and textual analysis through an analytical-critical approach. Critiques of Wraga and Hlebowitsh as alternat...

متن کامل

A critical view on a paper

  The paper delth with the effect of presuppositions and theological foundations in perceiving the meaning of Quranic verses, proving the theological tendency in exegeses, using three exegeses including Tebyan, Kashshaf and Kabir as the deputies for Shiites, Mu’tazelites and Asharites respectively and focusing on the theological problem of sighting God, the exalted, referred to in the verse 14...

متن کامل

A remark on boundedness of composition operators between weighted spaces of holomorphic functions on the upper half-plane

In this paper, we obtain a sucient condition for boundedness of composition operators betweenweighted spaces of holomorphic functions on the upper half-plane whenever our weights are standardanalytic weights, but they don't necessarily satisfy any growth condition.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017